$\forall$$A$:Realizer. R{-}self{-}interface($A$) $\Rightarrow$ R{-}interface{-}compat($A$;$A$)